2:- ['../../../src/RTEC.prolog']. 3:- ['ctm_declarations.prolog']. 4 5initially(punctuality(_131445,_131446)=punctual). 6 7initially(passenger_density(_131445,_131446)=low). 8 9initially(noise_level(_131445,_131446)=low). 10 11initially(internal_temperature(_131445,_131446)=normal). 12 13initiatedAt(punctuality(_131136,_131137)=punctual, _, _131124, _) :- 14 happensAtIE(stop_enter(_131136,_131137,_131144,scheduled),_131124). 15 16initiatedAt(punctuality(_131136,_131137)=punctual, _, _131124, _) :- 17 happensAtIE(stop_enter(_131136,_131137,_131144,early),_131124). 18 19initiatedAt(punctuality(_131136,_131137)=non_punctual, _, _131124, _) :- 20 happensAtIE(stop_enter(_131136,_131137,_131144,late),_131124). 21 22initiatedAt(punctuality(_131136,_131137)=non_punctual, _, _131124, _) :- 23 happensAtIE(stop_leave(_131136,_131137,_131144,early),_131124). 24 25initiatedAt(passenger_density(_131128,_131129)=_131130, _, _131125, _) :- 26 happensAtIE(passenger_density_change(_131128,_131129,_131130),_131125). 27 28initiatedAt(noise_level(_131128,_131129)=_131130, _, _131125, _) :- 29 happensAtIE(noise_level_change(_131128,_131129,_131130),_131125). 30 31initiatedAt(internal_temperature(_131128,_131129)=_131130, _, _131125, _) :- 32 happensAtIE(internal_temperature_change(_131128,_131129,_131130),_131125). 33 34holdsForSDFluent(punctuality(_131139,_131140)=non_punctual,_131124) :- 35 holdsForProcessedSimpleFluent(_131139,punctuality(_131139,_131140)=punctual,_131146), 36 complement_all([_131146],_131124). 37 38holdsForSDFluent(driving_style(_131139,_131140)=unsafe,_131124) :- 39 holdsForProcessedIE(_131139,sharp_turn(_131139,_131140)=very_sharp,_131146), 40 holdsForProcessedIE(_131139,abrupt_acceleration(_131139,_131140)=very_abrupt,_131158), 41 holdsForProcessedIE(_131139,abrupt_deceleration(_131139,_131140)=very_abrupt,_131170), 42 union_all([_131146,_131158,_131170],_131124). 43 44holdsForSDFluent(driving_style(_131139,_131140)=uncomfortable,_131124) :- 45 holdsForProcessedIE(_131139,sharp_turn(_131139,_131140)=sharp,_131146), 46 holdsForProcessedIE(_131139,abrupt_acceleration(_131139,_131140)=very_abrupt,_131158), 47 holdsForProcessedIE(_131139,abrupt_deceleration(_131139,_131140)=very_abrupt,_131170), 48 relative_complement_all(_131146,[_131158,_131170],_131183), 49 holdsForProcessedIE(_131139,abrupt_acceleration(_131139,_131140)=abrupt,_131193), 50 holdsForProcessedIE(_131139,abrupt_deceleration(_131139,_131140)=abrupt,_131205), 51 union_all([_131183,_131193,_131205],_131124). 52 53holdsForSDFluent(driving_quality(_131139,_131140)=high,_131124) :- 54 holdsForProcessedSimpleFluent(_131139,punctuality(_131139,_131140)=punctual,_131146), 55 holdsForProcessedSDFluent(_131139,driving_style(_131139,_131140)=unsafe,_131158), 56 holdsForProcessedSDFluent(_131139,driving_style(_131139,_131140)=uncomfortable,_131170), 57 relative_complement_all(_131146,[_131158,_131170],_131124). 58 59holdsForSDFluent(driving_quality(_131139,_131140)=medium,_131124) :- 60 holdsForProcessedSimpleFluent(_131139,punctuality(_131139,_131140)=punctual,_131146), 61 \+_131146=[], 62 !, 63 holdsForProcessedSDFluent(_131139,driving_style(_131139,_131140)=uncomfortable,_131169), 64 intersect_all([_131146,_131169],_131124). 65 66holdsForSDFluent(driving_quality(_131130,_131131)=medium,[]). 67 68holdsForSDFluent(driving_quality(_131139,_131140)=low,_131124) :- 69 holdsForProcessedSDFluent(_131139,punctuality(_131139,_131140)=non_punctual,_131146), 70 holdsForProcessedSDFluent(_131139,driving_style(_131139,_131140)=unsafe,_131158), 71 union_all([_131146,_131158],_131124). 72 73holdsForSDFluent(passenger_comfort(_131139,_131140)=reducing,_131124) :- 74 holdsForProcessedSDFluent(_131139,driving_style(_131139,_131140)=uncomfortable,_131146), 75 holdsForProcessedSDFluent(_131139,driving_style(_131139,_131140)=unsafe,_131158), 76 holdsForProcessedSimpleFluent(_131139,passenger_density(_131139,_131140)=high,_131170), 77 holdsForProcessedSimpleFluent(_131139,noise_level(_131139,_131140)=high,_131182), 78 holdsForProcessedSimpleFluent(_131139,internal_temperature(_131139,_131140)=very_warm,_131194), 79 holdsForProcessedSimpleFluent(_131139,internal_temperature(_131139,_131140)=very_cold,_131206), 80 union_all([_131146,_131158,_131170,_131182,_131194,_131206],_131124). 81 82holdsForSDFluent(driver_comfort(_131139,_131140)=reducing,_131124) :- 83 holdsForProcessedSDFluent(_131139,driving_style(_131139,_131140)=uncomfortable,_131146), 84 holdsForProcessedSDFluent(_131139,driving_style(_131139,_131140)=unsafe,_131158), 85 holdsForProcessedSimpleFluent(_131139,noise_level(_131139,_131140)=high,_131170), 86 holdsForProcessedSimpleFluent(_131139,internal_temperature(_131139,_131140)=very_warm,_131182), 87 holdsForProcessedSimpleFluent(_131139,internal_temperature(_131139,_131140)=very_cold,_131194), 88 union_all([_131146,_131158,_131170,_131182,_131194],_131124). 89 90holdsForSDFluent(passenger_satisfaction(_131139,_131140)=reducing,_131124) :- 91 holdsForProcessedSDFluent(_131139,punctuality(_131139,_131140)=non_punctual,_131146), 92 holdsForProcessedSDFluent(_131139,passenger_comfort(_131139,_131140)=reducing,_131158), 93 union_all([_131146,_131158],_131124). 94 95happensAtEv(punctuality_change(_131133,_131134,punctual),_131124) :- 96 happensAtProcessedSDFluent(_131133,end(punctuality(_131133,_131134)=non_punctual),_131124). 97 98happensAtEv(punctuality_change(_131133,_131134,non_punctual),_131124) :- 99 happensAtProcessedSimpleFluent(_131133,end(punctuality(_131133,_131134)=punctual),_131124). 100 101cachingOrder2(_131123, punctuality(_131123,_131124)=punctual) :- 102 vehicle(_131123,_131124). 103 104cachingOrder2(_131123, punctuality(_131123,_131124)=non_punctual) :- 105 vehicle(_131123,_131124). 106 107cachingOrder2(_131120, punctuality_change(_131120,_131121,punctual)) :- 108 vehicle(_131120,_131121). 109 110cachingOrder2(_131120, punctuality_change(_131120,_131121,non_punctual)) :- 111 vehicle(_131120,_131121). 112 113cachingOrder2(_131123, passenger_density(_131123,_131124)=high) :- 114 vehicle(_131123,_131124). 115 116cachingOrder2(_131123, noise_level(_131123,_131124)=high) :- 117 vehicle(_131123,_131124). 118 119cachingOrder2(_131123, internal_temperature(_131123,_131124)=very_warm) :- 120 vehicle(_131123,_131124). 121 122cachingOrder2(_131123, internal_temperature(_131123,_131124)=very_cold) :- 123 vehicle(_131123,_131124). 124 125cachingOrder2(_131123, driving_style(_131123,_131124)=unsafe) :- 126 vehicle(_131123,_131124). 127 128cachingOrder2(_131123, driving_style(_131123,_131124)=uncomfortable) :- 129 vehicle(_131123,_131124). 130 131cachingOrder2(_131123, driving_quality(_131123,_131124)=high) :- 132 vehicle(_131123,_131124). 133 134cachingOrder2(_131123, driving_quality(_131123,_131124)=medium) :- 135 vehicle(_131123,_131124). 136 137cachingOrder2(_131123, driving_quality(_131123,_131124)=low) :- 138 vehicle(_131123,_131124). 139 140cachingOrder2(_131123, passenger_comfort(_131123,_131124)=reducing) :- 141 vehicle(_131123,_131124). 142 143cachingOrder2(_131123, driver_comfort(_131123,_131124)=reducing) :- 144 vehicle(_131123,_131124). 145 146cachingOrder2(_131123, passenger_satisfaction(_131123,_131124)=reducing) :- 147 vehicle(_131123,_131124). 148 149collectIntervals2(_131123, abrupt_acceleration(_131123,_131124)=abrupt) :- 150 vehicle(_131123,_131124). 151 152collectIntervals2(_131123, abrupt_acceleration(_131123,_131124)=very_abrupt) :- 153 vehicle(_131123,_131124). 154 155collectIntervals2(_131123, abrupt_deceleration(_131123,_131124)=abrupt) :- 156 vehicle(_131123,_131124). 157 158collectIntervals2(_131123, abrupt_deceleration(_131123,_131124)=very_abrupt) :- 159 vehicle(_131123,_131124). 160 161collectIntervals2(_131123, sharp_turn(_131123,_131124)=sharp) :- 162 vehicle(_131123,_131124). 163 164collectIntervals2(_131123, sharp_turn(_131123,_131124)=very_sharp) :- 165 vehicle(_131123,_131124)